C. Watt; "Mechanising and verifying the WebAssembly specification"
https://dl.acm.org/doi/10.1145/3167082
Wasm
の意味論と
型システム
の
Isabelle
による形式化